Program analysis - PDFSEARCH.IO - Document Search Engine

Program analysis
Results: 6751

#	Item
911	Partial Escape Analysis and Scalar Replacement for Java Lukas Stadler Thomas Würthinger Hanspeter Mössenböck Add to Reading List Source URL: ssw.jku.at Language: English - Date: 2014-01-08 08:31:29 Compiler construction Memory management Cross-platform software Compiler optimizations Escape analysis Static program analysis Static single assignment form Garbage collection Objective-C Computing Software engineering Computer programming
912	SPARTA! Static Program Analysis for Reliable Trusted Apps http://types.cs.washington.edu/sparta/ VersionAugustDo not distribute. Add to Reading List Source URL: types.cs.washington.edu Language: English - Date: 2013-08-02 13:59:39 Embedded Linux Smartphones Information flow Information theory Android Apache Ant Type system Java Static single assignment form Software Computing Cross-platform software
913	Matching [for] the Lambda Calculus of Objects ? Viviana Bono 1 Dipartimento di Informatica, Universit` a di Torino C.so Svizzera 185, ITorino, Italy e-mail: Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:35:07 Programming language theory Data types Models of computation Program analysis Type system Subtype polymorphism Symbol Lambda calculus Eval Software engineering Type theory Computing
914	PACER CENTER ACTION INFORMATION SHEETS Add to Reading List Source URL: www.pacer.org Language: English - Date: 2015-04-07 15:30:42 Behavior Philosophy of psychology Positive behavior support Applied behavior analysis Behaviorism Psychology Individualized Education Program
915	The Case for Analysis Preserving Language Transformation Xiaolan Zhang Larry Koved Add to Reading List Source URL: gmarceau.qc.ca Language: English - Date: 2008-03-12 13:58:09 Cross-platform software Java platform Control flow Goto Java Static program analysis Programming language Pointer Time of check to time of use Computing Software engineering Computer programming
916	Ionospheric Communications Enhanced Profile Analysis & Circuit (ICEPAC) Prediction Program Technical Manual IONOSPHERIC COMMUNICATIONS ENHANCED PROFILE ANALYSIS & CIRCUIT Add to Reading List Source URL: elbert.its.bldrdoc.gov Language: English - Date: 2000-11-30 16:55:46 Space plasmas Atmosphere Radio spectrum Plasma physics Radio propagation Ionosphere Broadcast engineering F region Critical frequency Technology Electromagnetic radiation Wireless
917	Goanna — A Static Model Checker Ansgar Fehnker1 , Ralf Huuck1 , Patrick Jayet2? , Michel Lussenburg2∗ , and Felix Rauch1 1 2 Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-07-26 05:56:22 Theoretical computer science Formal methods Applied mathematics Program analysis Model checking Formal verification Static program analysis Abstract interpretation Red Lizard Software Model checkers Software NuSMV
918	Data-flow Analysis for Interruptdriven Microcontroller Software Nathan Cooprider Advisor: John Regehr Dissertation defense School of Computing University of Utah Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2008-09-03 13:32:16 Embedded systems TinyOS Procedural programming languages Abstract interpretation Microcontroller Program analysis C Pointer Data-flow analysis Computing Software engineering Computer programming
919	Launch and Assembly Reliability Analysis for Add to Reading List Source URL: ntrs.nasa.gov Language: English - Date: 2013-04-30 13:44:49 Space Launch System Manned mission to Mars Constellation program DIRECT Space Shuttle Exploration Systems Architecture Study International Space Station Apollo Space station Spaceflight Human spaceflight Manned spacecraft
920	ValueAnalyzer for TriCore ValueAnalyzer is a static program analyzer for value analysis of register and memory contents. It is particularly useful for verifying the absence of illegal accesses to an embedded software sys Add to Reading List Source URL: www.absint.com Language: English - Date: 2015-01-19 06:15:30 Microcontrollers Infineon TriCore Embedded system Compiler GNU Compiler Collection Debugging Software Computing Programming language implementation

UPDATE